121. The Big Typescript, TS. 213 /
پدیدآورنده: Ludwig Wittgenstein ; edited and translated by C. Grant Luckhardt and Maximilian Aue
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy,Semantics (Philosophy)
رده :
B3376
.
W563
B4713
2005
122. The Frege reader
پدیدآورنده: Frege, Gottlob
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,Philosophy ، Mathematics,، Philosophy
رده :
B3245
.
F22
E52
1997
123. The Frege reader
پدیدآورنده: Frege, Gottlob, 8481-5291
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,، Mathematics -- Philosophy,، Philosophy
رده :
B
3245
.
F73F7
124. <The> Oxford Handbook of Philosophy of Mathematics and Logic
پدیدآورنده: / edited by Stewart Shapiro
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: ریاضیات, -- فلسفه,Mathematics - Philosophy,Logic, Symbolic and mathematical - Philosophy
رده :
QA8
,.
4
.
O94
125. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: edited by Stewart Shapiro
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
126. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: edited by Stewart Shapiro
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Handbooks, manuals, etc ، Mathematics -- Philosophy,Philosophy -- Handbooks, manuals, etc ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O964
127. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: / edited by Stewart Shapiro
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics , Philosophy,Logic, Symbolic and mathematical , Philosophy
رده :
E-BOOK
128. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
129. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: / edited by Stewart Shapiro
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع: Mathematics -- Philosophy,Logic, Symbolic and mathematical. -- Philosophy
رده :
QA8
.
4
.
O94
2005
130. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: edited by Stewart Shapiro
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical -- Philosophy
رده :
QA
8
.
4
.
O94
2005
131. The adventure of reason :
پدیدآورنده: Paolo Mancosu
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy-- History-- 20th century
رده :
QA9
.
M295
2010
132. The age of alternative logics :
پدیدآورنده: edited by Johan van Benthem ... [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
133. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده: edited by Johan van Benthem... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
134. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
135. The axiomatic method; an introduction to mathematical logic
پدیدآورنده: Lightstone, A. H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
رده :
QA
248
.
L53
136. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده: / Kurt Godel
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
137. The consistency of the axiom of choice and of the generalized continum-hypothesis with the axioms of set theory
پدیدآورنده: Godel, Kurt
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1953
138. The consistency of the axiom of choice and of the generalized continuum - Hypothesis with the axioms of set theory
پدیدآورنده: Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
139. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده: Godel, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
3
140. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده: Godel, kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics-Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1966
